Axiomatic Set Theories and Common Sense
نویسندگان
چکیده
Various axiomatic set theories (ZF, NBG, NF, and KPU) are studied with a critical eye. The basic mathematical and philosophical reasons behind their axioms are given, as well as their review from the commonsense point of view. An introduction to a \commonsense set theory" is attempted at the end.
منابع مشابه
In Defence of Axiomatic Semantics
Many semantic theories implicitly attribute a foundational status to set theory, and set-theoretic characterisations of possible worlds in particular. The goal of a semantic theory is then to find a translation of the phenomena of interest into a settheoretic model. This can be contrasted with an axiomatic approach in which we can formulate “new” primitives and ontological categories, and devis...
متن کاملAlternatives to Histories? Employing a Local Notion of Modal Consistency in Branching Theories
Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories complete possible cou...
متن کاملOn Constructive Axiomatic Method
The formal axiomatic method popularized by Hilbert and recently defended by Hintikka is not fully adequate to the recent practice of axiomatizing mathematical theories. The axiomatic architecture of Topos theory and Homotopy type theory do not fit the pattern of the formal axiomatic theory in the standard sense of the word. However these theories fall under a more general and in some respects m...
متن کاملAlternative Axiomatic Characterizations of the Grey Shapley Value
The Shapley value, one of the most common solution concepts of cooperative game theory is defined and axiomatically characterized in different game-theoretic models. Certainly, the Shapley value can be used in interesting sharing cost/reward problems in the Operations Research area such as connection, routing, scheduling, production and inventory situations. In this paper, we focus on the Shapl...
متن کاملIMPS: System Description
Support for the Axiomatic Method. imps supports the “little theories” version of the axiomatic method, as opposed to the “big theory” version. In the big theory approach, all reasoning is carried out within one theory—usually some highly expressive theory, such as the Zermelo-Fraenkel set theory. In the little theories approach, reasoning is distributed over a network of theories. Results are t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994